Discrete-state Stochastic Modeling of T-cell Activation
نویسندگان
چکیده
منابع مشابه
Stochastic modelling of T-cell activation.
We investigate a specific part of the human immune system, namely the activation of T-cells, using stochastic tools, especially sharp large deviation results. T-cells have to distinguish reliably between foreign and self peptides which are both presented to them by antigen presenting cells. Our work is based on a model studied by Zint et al. (J Math Bio 57(6):841-861, 2008). We are able to disp...
متن کاملModeling Stochastic Discrete Event Systems
The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete event systems. A probabilistic language is a unit interval valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been de ned in the setting of probabilisti...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملDiscrete event modeling of CD4+ memory T cell generation.
Studies of memory T cell differentiation are hampered by a lack of quantitative models to test hypotheses in silico before in vivo experimentation. We created a stochastic computer model of CD4+ memory T cell generation that can simulate and track 10(1)-10(8) individual lymphocytes over time. Parameters for the model were derived from experimental data using naive human CD4+ T cells stimulated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biophysical Journal
سال: 2020
ISSN: 0006-3495
DOI: 10.1016/j.bpj.2019.11.1449